include protocol managerNoDtor;

protocol managedNoDtor {
    manager managerNoDtor;
    // empty
};
